ActorScript(TM) extension of C sharp (TM), Java(TM), and Objective C(TM): iAdaptive(TM) concurrency for antiCloud(TM) privacy and security

نویسنده

  • Carl Hewitt
چکیده

Message passing using types is the foundation of system communication:  Messages are the unit of communication  Types enable secure communication Actors ActorScript™ is a general purpose programming language for implementing iAdaptive TM concurrency that manages resources and demand. It is differentiated from previous languages by the following:  Universality o Ability to directly specify exactly what Actors can and cannot do o Everything is accomplished with message passing using types including the very definition of ActorScript itself. Application binary interfaces are afforded so that no program symbol need be looked up at runtime. Functional, Imperative, Logic, and Concurrent programs are integrated.  A type in ActorScript is an interface that does not name its implementations (contra to object-oriented programming languages beginning with Simula that name implementations called " classes " that are types). ActorScript can send a message to any Actor for which it has an (imported) type. 2 o Concurrency can be dynamically adapted to resources available and current load.  Safety, security and readability o Programs are extension invariant, i.e., extending a program does not change the meaning of the program that is extended. o Applications cannot directly harm each other. o Variable races are eliminated while allowing flexible concurrency. o Lexical singleness of purpose. Each syntactic token is used for exactly one purpose.  Performance i o Imposes no overhead on implementation of Actor systems in the sense that ActorScript programs are as efficient as the same implementation in machine code. For example, message passing has essentially same overhead as procedure calls and looping. o Execution dynamically adjusted for system load and capacity (e.g. cores) o Locality because execution is not bound by a sequential global memory model o Inherent concurrency because execution is not limited by being restricted to communicating sequential processes o Minimize latency along critical paths ActorScript attempts to achieve the highest level of performance, scalability, and expressibility with a minimum of primitives. 1 Introduction ActorScript is based on the Actor mathematical model of computation that treats " Actors " as the universal primitives of concurrent digital computation i Performance can be tricky as illustrated by the following:  " Those who would forever give up correctness for a little temporary performance deserve neither correctness nor performance. " [Philips 2013]  " The key to performance is elegance, not battalions of special cases " [John Bentley]  " If you want to …

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Performance Optimization Strategies for Transactional Memory Applications

Transactional Memory (TM) has been proposed as an architectural extension to enable lock-free data structures. With the ubiquity of multi-core systems, the idea of TM gains new momentum. The motivation for the invention of TM was to simplify the synchronization of parallel threads in a shared memory system. TM features optimistic concurrency as opposed to the pessimistic concurrency with tradit...

متن کامل

System Challenges and Opportunities for Transactional Memory a Dissertation Submitted to the Department of Electrical Engineering and the Committee on Graduate Studies of Stanford University in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy

Recent trends in architecture have made chip multiprocessors (CMPs) increasingly common. CMPs provide programmers with an unprecedented opportunity for parallel execution. Nevertheless, the key factor limiting their potential is the complexity of parallel application development using primitives such as locks and condition variables. While transactional memory (TM) is a technique that helps wit...

متن کامل

Extending Open64 with Transactional Memory Features

The fast development of parallel platforms is demanding more parallelism in modern applications. However, the manipulation of mutual-excluded memory accesses is obstructing the way towards high productivity in parallel software development for shared memory system. Transactional Memory (TM) is a promising paradigm that helps abstract the complexity of concurrency while keeping the scalability. ...

متن کامل

Spectrum of β-thalassemia Mutations in Iran, an Update

Abstract β-thalassemia major (β –TM) is the most common thalassemia severe phenotype among Iranians. In recent years, molecular understanding of pathogenesis of β –TM has provided a great opportunity regarding diagnostic issues. Creating comprehensive molecular databases provides highly sensitive diagnostic tools for β –TM and effective prenatal diagno...

متن کامل

A phase I/II clinical trial for adult recurrent glioma using 131i-tm-601, an iodinated peptide derived from scorpion venom

131I-TM-601 is a 36-amino acid peptide, called chlorotoxin (TM-601), derived from scorpion venom labeled with I-131. TM-601 binds a receptor on the surface of tumor cells, and not on normal cells. A single dose of 131I-TM-601 administered intracranially to human xenografted mouse models of glioma has been shown to extend survival up to 269% in multiple studies. 131I-TM-601 is in a multi-center ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010